Since the injective envelope and projective cover were defined by Eckmann and Bas in the 1960s, they have had great influence on the development of homological algebra, ring theory and module theory. In the 1980s, Enochs introduced the flat cover and conjectured that every module has such a cover ov[...]